The Theory of Transactional Memory
نویسندگان
چکیده
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent work on defining a theory of TM. We first present a correctness condition of a TM, ensured by most existing TM implementations. Then, we describe two progress properties that characterize the two main classes of TM implementations: obstructionfree and lock-based TMs. We use these properties to establish several results on the inherent power and limitations of TMs.
منابع مشابه
Transactional Memory: Glimmer of a Theory (Invited Paper)
Transactional memory (TM) is a promising paradigm for concurrent programming. This paper is an overview of our recent theoretical work on defining a theory of TM. We first recall some TM correctness properties and then overview results on the inherent power and limitations of TMs.
متن کاملThe relationship between principals’ leadership styles and motivational needs of the physical education teachers based on McGregor’s theory
The purpose of this research was to determine the relation between principals' transactional and transformational leadership styles and the motivational needs of physical education teachers based on Douglas McGregor's X & Y theory. According to X theorical supposing human is interest to work and responsible and this is in her essence. This person is self control and self motivation. Whereas in ...
متن کاملP99: Transactional Analysis Group Therapy Techniques in Patients with Post-Traumatic Stress Disorder
Transactional analysis (TA) is a theory of personality that can be applied in virtually all fields of psychology: educational, counseling, organizational and psychotherapy. The atmosphere that supports transactional analysis is one of comfort, security and respect. A positive relationship is forged between the clinician and the client in order to provide a model for subsequent relationships tha...
متن کاملInput Acceptance of Time-Warping Transactional Memory
Existing Transactional Memory (TM) algorithms typically abort many transactions that could be safely committed. The extent to which a TM allows such spurious aborts is captured by the theory of Input Acceptance. Recently, the Time-Warping Multi-version (TWM) algorithm was proposed to minimize spurious aborts without hampering practical performance. In this work we seek to theoretically assess t...
متن کاملSTO Verification
Transactional memory is an appealing alternative to lock-based synchronization mechanisms. It provides in-memory operations with transaction abstraction analogous to database systems. Despite recent works on exploring different implementation strategies of software transactional memory, little attention has been paid to verify their correctness. In this work, We aim to verify in Coq the correct...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Bulletin of the EATCS
دوره 97 شماره
صفحات -
تاریخ انتشار 2009